ecl-machine at i with state $ecl

A

state variables ds

actions da

sends snd

updates upd
== ecl-machine1{$ecl:ut2}
== ecl-machine1(i; ds; da; A)
==  let T,ks,init,tr,h,a,es = ecl-trans(A) in 
==  ecl-machine2(i;ds;da;"$ecl";T;ks;a;upd)  ecl-machine3(ds;da;"$ecl";T;ks;a;snd) 

latex

Definitions	ecl-machine1{$ecl:ut2}(i; ds; da; A), let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g), ecl-trans(x), left  right, ecl-machine2(i;ds;da;x;T;ks;a;upd), ecl-machine3(ds;da;x;T;ks;a;snd), "$x"
FDL editor aliases	ecl-machine